5 research outputs found
Basic Representations of A_{2l}^(2) and D_{l+1}^(2) and the Polynomial Solutions to the Reduced BKP Hierarchies
Basic representations of A_{2l}^(2) and D_{l+1}^(2) are studied. The weight
vectors are represented in terms of Schur's -functions. The method to get
the polynomial solutions to the reduced BKP hierarchies is shown to be
equivalent to a certain rule in Maya game.Comment: January 1994, 11 page
VerifyThis 2015 A program verification competition
VerifyThis 2015 was a one-day program verification competition which took place on April 12th, 2015 in London, UK, as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2015). It was the fourth instalment in the VerifyThis competition series. This article provides an overview of the VerifyThis 2015 event, the challenges that were posed during the competition, and a high-level overview of the solutions to these challenges. It concludes with the results of the competition and some ideas and thoughts for future instalments of VerifyThis